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

Constraint Programming -- The B-Prolog Project

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

Solving Combinatorial Search Problems Using B-Prolog Neng-Fa Zhou 周 能法 The City University of New York

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

B-Prolog: An Overview www.bprolog.com B-Prolog is a high-performance, high-quality, and award-wining implementation of the standard Prolog language with several useful extended features including action rules for event h

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

Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

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

RULE-BASED CARTOGRAPHIC NAME PLACEMENT WITH PROLOG Christopher B. Jones Anthony C. Cook Polytechnic of Wales Pontypridd

Source URL: mapcontext.com

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Computing
• Formal methods
• Refinement
• FDR
• Model checking
• Prolog
• Algorithm
• Predicate transformer semantics
• Type system
• Abstract machine
• XSB

Conjunctive Partial Deduction in Practice Jesper Jrgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k

Source URL: repository.readscheme.org

• Automated theorem proving
• Rules of inference
• Singularity theory
• Unfolding
• Prolog
• Conjunction
• Resolution
• Boolean algebra

EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering

Source URL: mapcontext.com

• Artificial intelligence
• Decision theory
• Information systems
• Knowledge engineering
• Expert systems
• Prolog
• Geographic information system
• Knowledge representation and reasoning
• Decision support system
• Knowledge acquisition
• Planner
• SHINE Expert System

Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover

Source URL: www.cs.bath.ac.uk

• Computer programming
• Prolog
• Warren Abstract Machine
• Unification
• Backtracking
• Answer set programming
• B-Prolog
• Logic programming
• Software engineering
• Computing