Programming Languages BooksProlog Books

Prolog implementation of a graphic tool for generation of Ada language specifications

Advertisement

Prolog implementation of a graphic tool for generation of Ada language specifications

Prolog implementation of a graphic tool for generation of Ada language specifications

The purpose of this note is to evaluate the suitability of Prolog in the implementation of a graphic tool for design and specification of Ada programs.

Author(s):

s70 Pages
Similar Books
Introduction to Prolog by Steve Harlow

Introduction to Prolog by Steve Harlow

This note covers the following topics:  database Prolog, Pure Prolog, Full Prolog and program examples.

s47 Pages
Prolog Step by Step by Graeme Ritchie

Prolog Step by Step by Graeme Ritchie

This PDF covers the following topics related to Prolog : Introduction, How Do You Learn A Programming Language, Defining your own procedures, Variables, Tests, Returning results by instantiation, “Facts”, Simple tracing, Backtracking in more detail, Summary so far, Circularity and loops.

s28 Pages
Quick Prolog by Dave Robertson

Quick Prolog by Dave Robertson

This PDF covers the following topics related to Prolog : Getting Started, Standard Programming Style, Prolog Terms, Unification, Expressing disjunctive subgoals, Evaluating numerical expressions, Negation, Cuts, Using Cuts to Specify Defaults, Just One More Thing About Cuts, Some Common Techniques, Efficiency Considerations, Definite Clause Grammars.

s35 Pages
Prolog Programming by Paul Brna

Prolog Programming by Paul Brna

The contents include: Introduction, Knowledge Representation, Prolog’s Search Strategy, Unification, Recursion and Lists, The Box Model of Execution, Programming Techniques and List Processing, Control and Negation, Parsing in Prolog, Modifying the Search Space, Prolog Syntax, Operators, Advanced Features.

s197 Pages
Prolog implementation of a graphic tool for generation of Ada language specifications

Prolog implementation of a graphic tool for generation of Ada language specifications

The purpose of this note is to evaluate the suitability of Prolog in the implementation of a graphic tool for design and specification of Ada programs.

s70 Pages
Guide to Prolog Programming

Guide to Prolog Programming

This note provides an introduction to logic programming and PROLOG for beginners but also cover some advanced topics.

sNA Pages

Advertisement