Open AccessSolving logical tasks based on predicate models using generator of configurations
Author(s) -
Ольга Николаевна Половикова,
Alexey V. Zenkov
Publication year - 2019
Publication title -
kompʹûternye instrumenty v obrazovanii
Language(s) - English
Resource type - Journals
eISSN - 2071-2359
pISSN - 2071-2340
DOI - 10.32603/2071-2340-2019-1-54-67
Subject(s) - computer science , prolog , generator (circuit theory) , programming language , predicate (mathematical logic) , theoretical computer science , declarative programming , logic programming , dimension (graph theory) , knowledge base , state (computer science) , task (project management) , artificial intelligence , mathematics , programming paradigm , inductive programming , power (physics) , physics , management , quantum mechanics , pure mathematics , economics