Emilia GolemanovaKostadin KratchanovTzanko GolemanovGolemanova, EmiliaGolemanov, TzankoKratchanov, Kostadin2025-10-0620099781450385855, 9781450314398, 9781450396387, 9781450390019, 9781450390217, 9781450348270, 9781450381963, 9781450322485, 9781450348201, 978145036445410.1145/1731740.17317662-s2.0-77951427116https://www.scopus.com/inward/record.uri?eid=2-s2.0-77951427116&doi=10.1145%2F1731740.1731766&partnerID=40&md5=276eba0b75276308ea763bbcd2475443https://gcris.yasar.edu.tr/handle/123456789/10313https://doi.org/10.1145/1731740.1731766This is the second in a series of two reports presenting a comparison between the Control Network Programming language Spider and the logic programming language Prolog. Here the focus is on juxtaposing the tools for programmer's control of the computation (inference) offered by the two languages. © 2009 ACM. © 2010 Elsevier B.V. All rights reserved.Englishinfo:eu-repo/semantics/closedAccessAi Programming, Cnp, Computation Control, Control Network Programming, Declarative Programming, Inference Control, Logic Programming, Nondeterministic Programming, Programming Languages, Programming Paradigms, Prolog, Spider, Computation Control, Control Network, Declarative Programming, Inference Control, Programming Language, Programming Paradigms, C (programming Language), Computer Software, Highway Planning, Linguistics, Logic Programming, Query Languages, Technical Presentations, Prolog (programming Language)Computation control, Control network, Declarative Programming, Inference control, Programming language, Programming paradigms, C (programming language), Computer software, Highway planning, Linguistics, Logic programming, Query languages, Technical presentations, PROLOG (programming language)Declarative ProgrammingAI ProgrammingCNPControl Network ProgrammingLogic ProgrammingComputation ControlInference ControlNondeterministic ProgrammingProgramming ParadigmsProgramming LanguagesSPIDERPrologConference Object