Programming Languages BooksProlog Books

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

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
An Introduction to Prolog Programming Lecture Notes

An Introduction to Prolog Programming Lecture Notes

These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Topics covered includes: Prolog Syntax, Working with Lists, Working with Numbers, Working with Operators, Backtracking, Cuts and Negation, Logic Foundations of Prolog and Recursive Programming.

s80 Pages
Prolog Class Notes

Prolog Class Notes

The objective of this lecture note is to introduce you to the most basic concepts of the Prolog programming language.

sNA 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