A visual logic

Authors:
John R. Fisher;Luu Tran
Affiliations:
Computer Science Department, California State Polytechnic University, Pomona, California;Computer Science Department, California State Polytechnic University, Pomona, California
Venue:
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Year:
1996

Citing 4
Cited 1

Graphical display of complex information within a Prolog debugger

International Journal of Man-Machine Studies
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Weak generalized closed world assumption

Journal of Automated Reasoning
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Visual Generalized Rule Programming Model for Prolog with Hybrid Operators

Applications of Declarative Programming and Knowledge Management

Quantified Score

Hi-index	0.00

Visualization

Abstract