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.

Language Reference in other Languages

Visual Prolog 7.2 Language Reference in Chinese (PDF file)