|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 35 gevonden artikelen
| Titel: |
Adding a loop Construct to prolog |
| Auteur: |
Keehang Kwon |
| Verschenen in: |
International journal of computer technology and applications |
| Paginering: | Jaargang 02 (2011) nr. 01 pagina's 121-123 |
| Jaar: |
2011 |
| Inhoud: |
Prolog have traditionally lacked de-vices for the looping tasks. This limitation canbe addressed by using a fragment of Japaridze'scomputability logic. We propose SeqProlog, anextension to Prolog with sequential recurrencegoal formulas. SeqProlog extends Prolog by al-lowing goals of the formTG where G is a goal.These goals allow us to specify the looping tasks.keywords: Prolog, loop, computability logic. |
| Uitgever: |
Technopark Publications (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 35 gevonden artikelen
| << vorige | volgende >> |