P-Shell: A Prolog-based knowledge programming environment.

This paper describes a Prolog-based knowledge programming environment, named P-Shell, which has been implemented in C-Prolog on UNIX (TM). P-Shell is a set of Prolog tools, modules, and built- in library routines designed for knowledge programming. It supports knowledge representation in first-order predicate logic, procedures, production rules, semantic networks, frames, tables, and trees. Built-in control methods include backward- and forward -chaining, agenda, and blackboard architecture.