Veriflog
VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. Web site semantic content verification can be a tedious and error prone task. In this paper we propose a framework for syntactic validation and semantic verification based on the logic programming language XCentric. The high declarative model of this language based on a new unification algorithm along with an interface to semistructured data provides an elegant framework for semantic error detection. The result is an easy to follow model to improve website quality and management.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
Sorted by year (- Kurtanidze, Lia; Rukhaia, Mikheil: Skolemization in unranked logics (2018)
- Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea: CLP((\mathsfH)): constraint logic programming for hedges (2016)
- Kutsia, Temur; Levy, Jordi; Villaret, Mateu: On the relation between context and sequence unification (2010)
- Kutsia, Temur: Flat matching (2008)