A Description Logics Tableau Reasoner in Prolog Riccardo Zese1 , Elena Bellodi1 , Evelina Lamma1 , and Fabrizio Riguzzi2 1 Dipartimento di Ingegneria – University of Ferrara Dipartimento di Matematica e Informatica –

Source URL: www.dmi.unict.it

Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UK

Source URL: www.secs.oakland.edu

Demand-Driven Indexing of Prolog Clauses⋆ V´ıtor Santos Costa1 , Konstantinos Sagonas2 , and Ricardo Lopes 1 2 LIACC- DCC/FCUP, University of Porto, Portugal

Source URL: user.it.uu.se

Inhalt Prolog. ............................................................................................................ 7 Kapitel 1.............................................................................

Source URL: www.drachenmond.de

×àñòü I ßçûê Prolog  ýòîé ÷àñòè... Ãëàâà

Source URL: www.williamspublishing.com

Inhaltsverzeichnis Reiner Hildebrandt-Stramann/ Ralf Laging/ Klaus Moegling (Hrsg.): Körper, Bewegung und Schule. Teil II: Schulprofile bewegter Schulen und Praxis bewegten Lernens Schriftenreihe: Theorie und Praxis der

Source URL: www.prolog-verlag.de

Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

Source URL: www.cs.waikato.ac.nz

• Mathematical logic
• Programming idioms
• Logic programming
• Prolog
• Deductive database
• Clause
• Stratification
• Horn clause
• Recursion
• Computer programming
• Software engineering
• Computing

Microsoft Word - Inhaltsverzeichnis Teil 2 Diagnostik und Förderung.docx

Source URL: www.prolog-verlag.de

Prolog Cornelia Mulder skulle aldrig være taget på arbejde. Ikke være rejst med det overfyldte regionaltog fra Brennerbaan til Nyen­ rode, eller overhovedet være stået ud af sengen. Hun havde svedt hele natten, haf

Source URL: modtryk.dk