Prolog Information

• SWI Prolog home page, including information on how to obtain compilers for various operating systems
• The Mercury Project home page. Mercury is a logic programming language that does not include the procedural features of Prolog, such as cuts. There is a compiler that produce IL code (where IL is the intermediate language used by Microsoft's .NET Common Language Runtime) and insures interoperability in the .NET common runtime runtime environment.
• A paper on P#, a concurrent Prolog for the .NET framework, by Jonathan Cook
• Knight's moves relation, represented in Prolog extensionally and intensionally
• Family relations, delete, sort
• Basics of Prolog