The Prolog III programming language extends Prolog by redefining the fundamental process at its heart: unification. This article presents the specifications of this new…
Alain Colmerauer
Author Archives
In the fall of 1981, a Japanese report officially initiated the quest for fifth-generation computers that would encompass the functions of knowledge processing and…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved