Mam program napisany w Sicstus Prolog za pomocą wiązań. Moim celem jest użycie etykietowania/2 i innej metody w celu uzyskania losowej instancji moich zmiennych. Przykład: X #> 2, Y #= 2*X, Z #<10
J
W SICStus Prolog istnieje haczyk służący do rozszerzenia celu: goal_expansion/6, który jest nazywany zarówno podczas kompilacji, jak i podczas wykonywania metaallingu. Te połączenia powodują pewien na
W tej chwili uczę się, jak łączyć SICStus Prolog z kodem C. chciałbym mieć/użytkowania/patrz implementację C o wadze Hamminga „arbitralny” z wielkości liczb całkowitych w wersji SICStus Prolog 4. Wyda