Misplaced Pages

The following pages link to ΛProlog

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 24 items.

• Logic programming (links | edit)
• Prolog (links | edit)
• Unification (computer science) (links | edit)
• List of programming languages by type (links | edit)
• Twelf (links | edit)
• Higher-order abstract syntax (links | edit)
• LProlog (redirect page) (links | edit)
  • User:Champion/Eubot list 16 (links | edit)
• Harrop formula (links | edit)
• Lambda Prolog (redirect page) (links | edit)
• LambdaProlog (redirect page) (links | edit)
  • Unification (computer science) (links | edit)
  • Nominal terms (computer science) (links | edit)
• Lambda prolog (redirect page) (links | edit)
• Dale Miller (academic) (links | edit)
• Talk:ΛProlog (transclusion) (links | edit)
• User:Ilmari Karonen/Mixedscript (links | edit)
• User:Кирилл Булыгин/Prolog (links | edit)
• User:Bcrch514/Books/PDP-11 & Macros (links | edit)
• User:Champion/Eubot list 16 (links | edit)
• User:Mykhal/Articles with name in multiple scripts (links | edit)
• User talk:Ruud Koot/2014 (links | edit)
• User talk:Ruud Koot/2015 (links | edit)
• Misplaced Pages:CHECKWIKI/WPC 111 dump (links | edit)
• Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Publisher2 (links | edit)
• Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/C65 (links | edit)
• Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.1005 (links | edit)