Title: Live Data Structures in Logic Programs
Subjects: Logic design, Logics and Meanings of Programs, Computer Science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Data structures (Computer science), Abstract data types (Computer science)