queensnake
Joined 19 years ago
Karma
1,240
Submissions
531
Member since
Jul 16
Joined 19 years ago
https://software.intel.com/en-us/oneapi/dpc-compiler
Anyone pick out differences?
Does this mean it can somewhat replace Prolog? I forget why Prolog doesn't use full logic, but, does Vampire find a way to get around the need for Prolog's more limited, Horn clauses? Anyone know?
Be very gentle, the server seems taxed: e1m4b: https://www.doomworld.com/e1m4b/e1m4b.zip