English Datalog Cited by user Siddharthist on 28 Nov 2023 Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation…
Czech E-graf Cited by user Jan Růžička on 01 Sep 2021 V [[Matematická informatika|informatice]] je '''e-graf''' [[datová struktura]], která ukládá relaci ekvivalence nad [[Term|termy]] nějakého jazyka.
English E-graph Cited by user Siddharthist on 13 Jun 2021 In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language.