2 items matching your search terms.
Filter the results.
Item type


















New items since



Sort by relevance · date (newest first) · alphabetically
Two Turing Machines
For fun I wrote two universal Turing machines: one in Prolog, one in Mercury. This led me to some observations about type systems and their spheres of utility.
Located in Users / Michael T. Richter / YFL-related Blog
Meta-Predicates in SWI-Prolog
The meta_predicate directive in Prolog can cause confusion when first encountered for two reasons: 1, it is a horrible, horrible hack; 2, documentation for it is badly-written by people who know what they mean but not how to express it. There is the further problem that each dialect does it differently (this being Pro-"what's a standard?"-log). Here's my attempt to make things a bit less confusing for SWI-Prolog (and probably YAP) users.
Located in Users / Michael T. Richter / YFL-related Blog