학술논문
An intelligent control system for visual languages
Document Type
Conference
Source
IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) Systems, man, and cybernetics Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on. 3:851-856 vol.3 1999
Subject
Language
ISSN
1062-922X
Abstract
This paper describes a visual dialect of Prolog, which generates bytecode for the Java Virtual Machine. Netprolog aims at giving the Prolog community the possibility of programming in logic for the Internet. The language is more declarative than ISO Prolog, because it has an automatic tool to insert control into a DFD diagram, generating a Prolog program. It is also a strongly typed language. However, the user doesn't need to declare types, because the compiler has a type inference mechanism, not very different from the one found in languages like Clean and SML. Since Prolog control is given by the order of the literals in the clauses' bodies, insertion of control is achieved by sorting the literals. This is done by an explanation based learning mechanism (partial evaluation) which works on data-flow inferred by a symbolic execution of the program.