Corpus ID: 35764718

An introduction to logic programming through Prolog

@inproceedings{Spivey1996AnIT,
  title={An introduction to logic programming through Prolog},
  author={J. M. Spivey},
  booktitle={Prentice Hall International series in computer science},
  year={1996}
}
  • J. M. Spivey
  • Published in
    Prentice Hall International…
    1 April 1996
  • Computer Science
Introduction. Programming with Relations. Recursive Structures. The Meaning of Logic Programs. Inference Rules. Unification and Resolution, SLD -Resolution. SLD-Resolution and Answer Substitutions. Negation as Failure. Searching Problems. Parsing Evaluating and Simplifying Expressions. Hardware simulations. Program Transformation. About PicoProlog. Implementing Depth-First Search, Representing Terms and Substitutions. Implementation Notes. Interpreter Optimizations. In Conclusion. Bibliography… Expand
Algebra of Logic Programming
TLDR
A kind of algebraic semantics for logic pro gramming is presented, which lists only those laws that are equally valid for predicate calculus and for the standard depth strategy of Prolog. Expand
A polymorphic type system in logic programming
  • Li Huiqi, Zhao Zhizhuo
  • Computer Science
  • 2008 3rd International Conference on Intelligent System and Knowledge Engineering
  • 2008
TLDR
An unification algorithm for typed predicates is proposed for the compiler construction of Godel based on the language Godel which has a strongly type system based on many-sorted logic with parametric polymorphism. Expand
Compositional logic programming
TLDR
The aim of this thesis is to bridge the gap between the methodology and practice of relational program derivation by realising a compositional style of logic programming that permits specifications to be phrased naturally and executed declaratively. Expand
Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming
A hardware compiler may be speci ed by a description of how each construct of the source language is translated into a netlist of simple digital hardware components such as gates and latches.Expand
Argumentation-Based Answer Set Justification
TLDR
A method for justifying why a literal is or is not contained in the answer set of a logic program is suggested and an implementation of this method is presented which displays justifications. Expand
Deriving Correct Prototypes from Formal Z Specifications
TLDR
This paper describes a systematic way of constructing correct prototypes in a functional language such as Miranda from Z specifications using a set of rules which allow to derive a prototype from a specification. Expand
Thematic Oral Session METHODOLOGICAL ISSUES ESSAYING THE PROLOG LANGUAGE TO OBTAIN THE COMPUTATIONAL EVALUATION OF THE COHERENCE OF REASONING
Resumen es: Se presenta una descripcion de la automatizacion intentada para evaluar el Test de Coherencia de Razonamiento (TCR, Lopez Alonso, 1981, 1988, 1996, 200...
Runtime Service Composition via Logic-Based Program Synthesis
TLDR
The notion of declarative service programming is introduced and a prototype for automated compositional synthesis is implemented, used in several experiments to show the feasibility of fully automated service composition. Expand
Hardware Compilation : Verification and Rapid-prototyping
The use of Field Programmable Gate Arrays (FPGA) to rapidly produce custom hardware circuits using a completely software-based process is becoming increasingly widespread. Specialized HardwareExpand
Fast, accurate call graph profiling
TLDR
A way of improving the accuracy of a call graph profile by collecting more information during execution, without significantly increasing the overhead of profiling. Expand
...
1
2
3
...