Informazioni sul servizio
TradottoSono uno sviluppatore che lavora nel paradigma di programmazione logica in Prolog, e per molti anni ho risolto problemi che gli approcci imperativi e di machine learning gestiscono male. Dove il codice normale descrive esattamente come fare qualcosa, io descrivo fatti e regole del tuo dominio, e un motore di inferenza logica si occupa di trovare risposte. Questo stile dichiarativo è perfetto per sistemi esperti, controlli di conformità, pianificazione, diagnosi e qualsiasi situazione in cui le regole siano complesse, cambino spesso e debbano essere auditabili. Quando una soluzione deve essere spiegata, non solo consegnata, una base di conoscenza Prolog fornisce una catena di ragionamento trasparente invece di una scatola nera opaca.
In pratica costruisco motori di regole che codificano centinaia di politiche aziendali, risolutori di vincoli che distribuiscono, instradano e imballano risorse entro limiti reali, e basi di conoscenza che modellano tassonomie, ontologie e relazioni tra entità. Scrivo predicati accurati e ben indicizzati, applico grammatiche a clausole definite per analizzare input strutturati e utilizzo la programmazione dei vincoli su domini finiti per compiti di pianificazione e configurazione. Collego anche Prolog al mondo esterno: espongo la logica di inferenza come un'API, la incorporo in un servizio più grande in Python, Java o C, e la collego a SQL e archivi di documenti in modo che il livello logico rimanga pulitamente separato dai dati e dalla presentazione.
Oltre a costruire nuovi sistemi, recupero e pulisco logiche legacy espansive, ottimizzo query con eccessivo backtracking e aggiungo spiegazioni e tracciamento affinché i non programmatori possano fidarsi del risultato. Che tu abbia bisogno di un prototipo di un'idea di ragionamento, di un sistema esperto funzionante o di un risolutore combinatorio complicato—mi occuperò del compito dalla specifica alla consegna testata, documentata e manutenibile.
— Sistemi esperti e motori di regole in SWI-Prolog e dialetti compatibili
— Risoluzione di vincoli e pianificazione con CLP(FD) su domini finiti
— Basi di conoscenza, ontologie e ragionamento semantico
— Grammatiche a clausole definite per analizzare e interpretare input
— Integrazione con Python, Java, C, SQL e API web
— Refactoring, ottimizzazione e ragionamento spiegabile per logiche legacy
In pratica costruisco motori di regole che codificano centinaia di politiche aziendali, risolutori di vincoli che distribuiscono, instradano e imballano risorse entro limiti reali, e basi di conoscenza che modellano tassonomie, ontologie e relazioni tra entità. Scrivo predicati accurati e ben indicizzati, applico grammatiche a clausole definite per analizzare input strutturati e utilizzo la programmazione dei vincoli su domini finiti per compiti di pianificazione e configurazione. Collego anche Prolog al mondo esterno: espongo la logica di inferenza come un'API, la incorporo in un servizio più grande in Python, Java o C, e la collego a SQL e archivi di documenti in modo che il livello logico rimanga pulitamente separato dai dati e dalla presentazione.
Oltre a costruire nuovi sistemi, recupero e pulisco logiche legacy espansive, ottimizzo query con eccessivo backtracking e aggiungo spiegazioni e tracciamento affinché i non programmatori possano fidarsi del risultato. Che tu abbia bisogno di un prototipo di un'idea di ragionamento, di un sistema esperto funzionante o di un risolutore combinatorio complicato—mi occuperò del compito dalla specifica alla consegna testata, documentata e manutenibile.
— Sistemi esperti e motori di regole in SWI-Prolog e dialetti compatibili
— Risoluzione di vincoli e pianificazione con CLP(FD) su domini finiti
— Basi di conoscenza, ontologie e ragionamento semantico
— Grammatiche a clausole definite per analizzare e interpretare input
— Integrazione con Python, Java, C, SQL e API web
— Refactoring, ottimizzazione e ragionamento spiegabile per logiche legacy
