A Framework for Network Modeling in Prolog

A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent the network links and nodes respectively. The problem of attribut ed gra ph mod el of polyhedral objects is used as an application area, where the proposed methods are examined.

• Type: Conference
• Year: 1989
• Where: IJCAI
• Authors: Z. I. Markov
• Keywords: Gra Ph Mod, IJCAI 1989, IJCAI 2007, Network Models, Prolog Variables