GNU paunang salita ay isang libreng paunang salita compiler may hadlang na paglutas ng higit sa tiyak na mga domain. GNU paunang salita ay tumatanggap ng paunang salita na may hadlang na mga programa at naglalabas ng katutubong binary (tulad ng GCC ginagawa mula sa isang pinagmulan C). Ang nakuha executable ay pagkatapos stand-alone. Ang laki ng mga maipapatupad na maaaring maging maliit dahil maiiwasan ng GNU paunang salita ng pag-link ang code ng karamihan sa mga hindi nagamit na built-in na predicates. Ang pagtatanghal ng GNU paunang salita ay napaka nagbibigay-pag-asa (na maihahambing sa komersyal na mga sistema). Sa tabi ng mga native na-code sa pagsasama-sama, GNU paunang salita ay nag-aalok ng mga klasikal na interpreter (top-level) na may debugger.
Ang paunang salita bahagi conforms sa standard ISO para sa paunang salita na may maraming mga extension napaka kapaki-pakinabang sa kasanayan (mga pangkalahatang variable, OS interface, at socket). Kasama rin GNU paunang salita ng isang mahusay hadlang Solver sa paglipas ng may wakas Domain (FD). Binubuksan nito ang hadlang logic programming sa gumagamit pinagsasama ang kapangyarihan ng hadlang ng programming sa declarativity ng logic programming. Mga Tampok isama conforms sa standard ISO para sa paunang salita, pasilidad sa pag-edit linya sa ilalim ng interactive interpreter sa pagkumpleto sa atoms, na pandalawang direksyong interface sa pagitan ng paunang salita at C, katutubong-code compiler paggawa tumayo nang mag-isa executable, simpleng command-line compiler tumatanggap ng iba't-ibang mga file, paunang-natukoy na hadlang:. palatuusan hadlang, hadlang sa Boolean, hadlang sa symbolic, at reified hadlang, paunang-natukoy na pag-isa isa heuristic, at user ay maaaring tukuyin ang kanyang sariling mga bagong hadlang
Mga Komento hindi natagpuan