The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson

Source URL: mercurylang.org

• Software engineering
• Computer programming
• Computing
• Prolog
• Programming languages
• Mercury
• Logic programming
• Tail call
• Predicate
• Prolog syntax and semantics
• B-Prolog

The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus Henderson

Source URL: mercurylang.org

• Software engineering
• Computer programming
• Computing
• Logic programming
• Subroutines
• Recursion
• Prolog
• Programming language implementation
• Functional programming
• Mercury
• Definite clause grammar
• Map

Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden Wissensbasis

Source URL: www.is.informatik.uni-duisburg.de

Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / Prolog

Source URL: www.swi-prolog.org

Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2

Source URL: homepages.inf.ed.ac.uk

GNU PROLOG A Native Prolog Compiler with Constraint Solving over Finite Domains Edition 1.44, for GNU Prolog versionJuly 14, 2018 by Daniel Diaz

Source URL: gprolog.univ-paris1.fr

Der Prolog zu Gargantua und der Pantagruelismus Raible, Wolfgang Romanische Forschungen; Jan 1, 1966; 78, 2; ProQuest pgWo 1 f g a n g R a i b 1 e (K ö 1 n) DER PROLOG ZU GARGANTU A UND DER PANTAGRUELISMUS

Source URL: latina.phil2.uni-freiburg.de

Prolog „Glaubst du, der Roman wäre besser geworden, wenn du ihn alleine geschrieben hättest?“, fragte ich Kajo. „Ich hätte ihn niemals geschrieben…“, antwortete er.

Source URL: ink-press.ch

Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . VII Prolog: What this Book Is About . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: lovelace.thi.informatik.uni-frankfurt.de

Constraint Programming -- The B-Prolog Project

Source URL: www.sci.brooklyn.cuny.edu