 | סעיף מובהק ניכויניתוח אלגוריתמים ניכויים עם כלי זה. |
| הורד עכשיו | |
סעיף מובהק ניכוי דירוג וסיכום
פרסומת
סעיף מובהק ניכוי תגים
סעיף מובהק ניכוי תיאור
סעיף מובהק ניכוי הוא שימושי, קל לשימוש יישום שנועד במיוחד כדי להפגין אלגוריתמים ניכויים שונים, מתוך רזולוציה SLD המשמשים את Prolog למשתמש באופן ידני מאחד סעיפים. Applet הניכוי מקבל בסיסי ידע בפורמט Cilog, נותן פונקציות לפתרון שאילתה בסיס ידע זה. יש גם אפשרויות כדי להציג עצים הוכחה.
סעיף מובהק ניכוי תוכנה קשורה
