Concepedia
International Conference on Logic Programming · 1993 · 34 citations · 0 references
ComputingComputer EngineeringComputer ScienceKnowledge RepresentationLogicProgramming LanguagesConstraint SatisfactionDeductive ReasoningFirst-order LogicLogic ProgrammingModel TheoryPredicate LogicComputational LogicConcurrent Logic ProgrammingType Systems For Logic Programming