---
title: "An Interpreter For The Programming Languages Predicate Logic"
authors:
  - "Sten-Åke Tärnlund"
doi: ""
url: "https://ijcai.org/proceedings/1975/94"
pdf: "https://ijcai.org/proceedings/1975/0094.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "601-607"
track: "A.I. Software"
keywords:
---

# An Interpreter For The Programming Languages Predicate Logic

Sten-Åke Tärnlund

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, pages 601-607.

## Abstract

We describe an interpreter for the programming language predicate logic. Some topics are: syntax and proof procedure, procedure evocation, function transformation, goal variation and interactive computational control.