scientific article; zbMATH DE number 867332

zbMath0844.68017MaRDI QIDQ4873717

Laurent Cervoni, Abdel Ali Ed-Dbali, Pierre Deransart

Publication date: 17 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologexecutable specification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99) Logic programming (68N17) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Related Items

Logic programming as a service, Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology, Fifty Years of Prolog and Beyond, A relaxed condition for avoiding the occur-check, Default rules for Curry, Typed SLD-resolution: dynamic typing for logic programming, Unnamed Item, Unnamed Item, Unnamed Item, Dependency Triples for Improving Termination Analysis of Logic Programs with Cut, Backjumping is Exception Handling, Closures and Modules Within Linear Logic Concurrent Constraint Programming, Defining Actions in Concurrent Declarative Programming, Automated modular termination proofs for real Prolog programs