---
title: "PRUF - A Language for the Representation of Meaning in Natural Languages"
authors:
  - "Lotfi A. Zadeh"
doi: ""
url: "https://ijcai.org/proceedings/1977/216"
pdf: "https://ijcai.org/proceedings/1977/0216.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "918--1"
track: "Languages and Systems"
keywords:
---

# PRUF - A Language for the Representation of Meaning in Natural Languages

Lotfi A. Zadeh

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 918--1.

## Abstract