Language Reference

This document describes the syntax and semantics of the Visual Prolog programming language.

Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog.

A Visual Prolog program consists of a goal, and a number of:

• Interfaces
• Class declarations and
• Class implementations

Which contain declarations and definitions of Prolog entities:

• Domains
• Constants
• Predicates
• Properties
• Fact databases

The "actual" code of a Visual Prolog is the clauses, which are located in class implementations and which implements predicates.