Results 71 to 80 of about 8,649 (191)
Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description) [PDF]
arXiv, 2016 This paper presents the plnauty~library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that is commonly used in logic programming and constraint solving, with the ability to reduce symmetries while reasoning over graph objects.
arxiv
Psoriasis in People With Skin of Color: An Evidence‐Based Update
International Journal of Dermatology, Volume 64, Issue 4, Page 667-677, April 2025.ABSTRACT Variations in epidemiology, pathophysiology, genetics, clinical presentation, management, quality of life (QoL) impact, and access to care and research exist globally across the spectrum of individuals with psoriasis. This article aims to provide an evidence‐based update on the characteristics of psoriasis in individuals with skin of color ...
Maria‐Angeliki Gkini +13 more
wiley +1 more source
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +8 more sources
New building blocks for F1${\mathbb {F}}_1$‐geometry: Bands and band schemes
Journal of the London Mathematical Society, Volume 111, Issue 4, April 2025.Abstract We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle.
Matthew Baker +2 more
wiley +1 more source
Sintaxe X-barra: uma aplicação computacional
Working Papers em Linguística, 2009 Neste trabalho, apresentaremos uma aplicação computacional da teoria X-barra (cf. HAEGEMAN, 1994; MIOTO et al., 2004), através do programa Grammar Play, um parser sintático em Prolog.
Gabriel de Ávila Othero +1 more
doaj +1 more source
Disjunctive Delimited Control [PDF]
arXiv, 2020 Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog engine ...
arxiv
Towards an Efficient Prolog System by Code Introspection [PDF]
arXiv, 2014 To appear in Theory and Practice of Logic Programming (TPLP). Several Prolog interpreters are based on the Warren Abstract Machine (WAM), an elegant model to compile Prolog programs. In order to improve the performance several strategies have been proposed, such as: optimize the selection of clauses, specialize the unification, global analysis, native ...
arxiv
Semantic wikis as flexible database interfaces for biomedical applications. [PDF]
Sci Rep, 2023 Falda M, Atzori M, Corbetta M.
europepmc +1 more source
Training cognition in older male prisoners: lessons learned from a feasibility study. [PDF]
Health Justice, 2023 Verhülsdonk S +6 more
europepmc +1 more source