|
| << 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 7 van 20 gevonden artikelen
| Titel: |
Bounded Loops for Prolog |
| Auteur: |
Jaehwa Sohn Keehang Kwon |
| Verschenen in: |
International journal of computer technology and applications |
| Paginering: | Jaargang 02 (2011) nr. 01 pagina's 124-126 |
| Jaar: |
2011 |
| Inhoud: |
Prolog have traditionally lacked de-vices for expressing the bounded-looping tasks.This limitation has been addressed by adoptinga bounded sequential recurrence goal formulas ofthe formTnG where G is a goal and n is a nat-ural number. These goals allow us to specify thelooping tasks of exactly n times.keywords: Prolog, bounded loop, com-putability logic |
| Uitgever: |
Technopark Publications (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 20 gevonden artikelen
| << vorige | volgende >> |